缺省理论的简化

缺省理论△=(D,W)中的缺省规则集D,是该理论的不确定因素.如果能去掉一些缺省规则而又不影响该理论的延伸,则就在一定程度上简化了该理论.本文证明了关于规范缺省理论的延伸的若干性质,利用这些性质,我们可以把某些规范缺省理论在一定条件下得以化简,有的甚至可以把它们化为一阶逻辑理论.     

Disorder effects on the strain response of model polymer networks

Molecular dynamics simulations are used to investigate polymer networks made by either end-linking or randomly crosslinking a melt of linear precursor chains. The resulting network structures are very different, since end-linking leads to nearly ideal monodisperse networks, while random crosslinking leads to polydisperse networks, characterized by an exponential strand length distribution. Networks with average strand length 20 and 100 were generated. These networks were used to study the effects of disorder in the network connectivity on observables averaged either over the entire network or selected sub-structures. Heterogeneities in the randomly crosslinked networks cause significant differences in the localization of monomers, however, neither the localization of crosslinks nor the microscopic strain response are significantly affected. Compared to end-linked networks, randomly crosslinked networks have a slightly increased tube diameter, and as a result a slightly decreased shear modulus, but otherwise identical stress-strain behavior. For the investigated systems, we conclude that the microscopic strain response, tube diameter, and stress-strain relation are all insensitive to the heterogeneities due to the linking process by which the network were made.     

Evaluating part designs for automatic feeding in robotic assembly systems: A geometric analysis of the nesting of polyhedral objects

One of the problems encountered by automatic feeding devices, such as vibratory bowl feeders, in robotic assembly systems is nesting which leads to inseparability of parts and jamming. In this paper, we describe a design evaluation procedure to determine whether a part is prone to nesting and to quantify the degree of nesting. The proposed methodology reduces the 3-D protrusion-hole polyhedral containment problem of nesting to a 2-D polygon containment problem by employing a loop-based feature recognition scheme. Subsequently, the 3-D containment configuration is reconstructed from that of the 2-D by using a strategy calleddrop, pull and push. In this context, we introduce the notion of axis as a characteristic direction of a feature that facilitates the analysis of generalized 3-D polyhedral containment. The algorithms are applicable to generic B-Rep CAD data, and their time and space complexities are polynomial.     

大规模训练数据的支持向量机学习新方法

支持向量机不能直接对大规模的训练数据进行学习。提出一种新的减小样本集规模的方法；在映射后的高维空间中寻找两种类别的交界部分，交界部分上的样本作为学习样本。并且指出，不需涉及具体映射的形式只用核函数即可找到交界部分的样本。实验表明，新方法优于直接在低维样本空间中寻找交界部分样本的方法。     

The stress intensity factors for a short crack partially penetrating an inclusion of arbitrary shape

Some approximate solutions for predicting the stress intensity factor of a short crack penetrating an inclusion of arbitrary shape have been developed under mode I and mode II loading conditions. The derivation of the fundamental formula is based on the transformation toughening theory. The transformation strains in the inclusion are induced by the crack-tip field and remotely applied stresses, and approximately evaluated by the Eshelby equivalent inclusion theory. As validated by detailed finite element (FE) analyses, the developed solutions have good accuracy for different inclusion shape and for a wide range of modulus ratio between inclusion and matrix material.     

Forced Vertical Vibration of Circular Plate in Multilayered Poroelastic Medium

This paper considers the vertical vibrations of an elastic circular plate in a multilayered poroelastic half space. The plate is subjected to axisymmetric time–harmonic vertical loading and its response is governed by the classical thin-plate theory. The contact surface between the plate and the multilayered half space is assumed to be smooth and either fully permeable or impermeable. The half space under consideration consists of a number of layers with different thicknesses and material properties and is governed by Biot’s poroelastodynamic theory. The vertical displacement of the plate is represented by an admissible function containing a set of generalized coordinates. Contact stress and pore pressure jump are established in terms of generalized coordinates through the solution of flexibility equations based on the influence functions corresponding to vertical and pore pressure loading. Solutions for generalized coordinates are obtained by establishing the equation of motion of the plate through the application of Lagrange’s equations of motion. Selected numerical results are presented to portray the influence of various parameters on dynamic interaction between an elastic plate and a multilayered poroelastic half space.     

Measuring consistency in TTL-based caches

We propose a general modeling framework to evaluate the performance of cache consistency algorithms. In addition to the usual hit rate, we introduce the hit^* rate as a consistency measure, which captures the fraction of non-stale downloads from the cache. We apply these ideas to the analysis of the fixed TTL consistency algorithm in the presence of network delays. The hit and hit^* rates are evaluated when requests and updates are modeled by renewal processes. Classical results on the renewal function lead to various bounds.     

Sensitivity analysis in conjunction with evidence theory representations of epistemic uncertainty

Three applications of sampling-based sensitivity analysis in conjunction with evidence theory representations for epistemic uncertainty in model inputs are described: (i) an initial exploratory analysis to assess model behavior and provide insights for additional analysis; (ii) a stepwise analysis showing the incremental effects of uncertain variables on complementary cumulative belief functions and complementary cumulative plausibility functions; and (iii) a summary analysis showing a spectrum of variance-based sensitivity analysis results that derive from probability spaces that are consistent with the evidence space under consideration.     

一种考虑分布电容的模糊故障测距算法

提出了一种考虑分布电容的故障测距新算法。该算法基于微分方程描述的线路数学模型，利用单端信息对高压输电线路进行故障测距，保留了解微分方程算法的简单可靠、现实可行、不必考虑衰减直流分量和谐波及电网频率波动影响的特点，同时考虑过渡电阻和分布电容的影响，克服了传统解微分方程法中在经高阻接地故障时测距误差过大和忽略分布电容引起的故障定位不准确的缺点。为了检验算法的精度，进行了大量的动模实验。结果表明，算法原理正确并具有较高的测距精度。     

Breaking the search space symmetry in partitioning problems: An application to the graph coloring problem

Many problems consist in splitting a set of objects into different groups so that each group verifies some properties. In practice, a partitioning is often encoded by an array mapping each object to its group numbering. In fact, the group number of an object does not really matter, and one can simply rename each group to obtain a new encoding. That is what we call the symmetry of the search space in a partitioning problem. This property may be prejudicial for optimization methods such as evolutionary algorithms (EA) which require some diversity during the search.